Industrial Application of Formal Models Generated from Domain Specific Languages
نویسنده
چکیده
Domain Specific Languages (DSLs) provide a lightweight approach to incorporate formal techniques into the industrial workflow. From DSL instances, formal models and other artefacts can be generated, such as simulation models and code. Having a single source for all artefacts improves maintenance and offers a high return on investment of the initial modelling effort. Since DSLs can be used to capture essential domain information at a high level of abstraction, this supports formal verification early in the development process. We discuss our experiences with this approach in a number of real industrial development projects.
منابع مشابه
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans
The development and application of formal methods is a long standing research topic within the field of computer science. One particular challenge that remains is the uptake of formal methods into industrial practices. This paper introduces a methodology for developing domain specific languages for modelling and verification to aid in the uptake of formal methods within industry. It illustrates...
متن کاملIntegrating Domain Speci c Language Design inthe Software Life
Domain Speciic Languages help to split the software live cycle in diierent independent cycles. While the use of the newly created language is just an additional tool in the established cycle, the language live cycle is independent and opens the doors for the application of formal methods. We report on an industrial case study, where a driver speciication language has been designed, formally spe...
متن کاملFormal Specification and Analysis of Domain Specific Models Using Maude
Modeling languages play a cornerstone role in model-driven software development for representing models and metamodels. Modeling languages are usually defined in terms of their abstract and concrete syntax. This allows the rapid development of languages and some associated tools (e.g. editors), but does not allow the representation of their behavioral semantics, something especially important i...
متن کاملIndustrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts
A domain specific language (DSL) abstracts from implementation details and is aligned with the way domain experts reason about a software component. The development of DSLs is usually centered around a grammar and transformations that generate implementation code or analysis models. The semantics of the language is often defined implicitly and in terms of a transformation to implementation code...
متن کاملIndustrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations
A domain specific language (DSL) abstracts from implementation details and is aligned with the way domain experts reason about a software component. The development of DSLs is usually centered around a grammar and transformations that generate implementation code or analysis models. The semantics of the language is often defined implicitly and in terms of a transformation to implementation code...
متن کامل